MoGym: Using Formal Models for Training and Verifying Decision-making Agents

A Formal Methodology for Verifying Situated Agents

In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a speciication language for specifying the agent capabilities to execute its actions in dynamic environments and a repertoire of proof methods by which the correctness of an agent, relative to its capabilities , can be formally veriied.

A hybrid decision making system using DEA and fuzzy models for supplier selection in the presence of multiple decision makers

A systems approach to training aeronautical decision making: from identifying training needs to verifying training

χ value in the Chi-square distribution used to test for significant differences between three (or more) independent groups when using the Kruskall-Wallis non-parametric analysis of variance where the dependent variable is measured on an ordinal scale. p probability of making a type I decision error. z a value in the standard normal distribution that may be related directly to a probability valu...

A Tool for Verifying ASM Models Using Multiway Decision Graphs

In this paper we present a formal hardware verification tool linking ASM with MDG. ASM (Abstract State Machines) is a state based language for describing transition systems. MDG (Multiway Decision Graphs) provides symbolic representation of transition systems with support of abstract sorts and functions. We implemented a transformation tool that automatically generates MDG models from ASM speci...

The Proposed Mathematical Models For Decision- Making And Forecasting On Euro- Yen In Foreign Exchange Market